| 1. Identificação | ||||
| Tipo de Referência | Artigo em Revista Científica (Journal Article) | |||
| Site | mtc-m21c.sid.inpe.br | |||
| Código do Detentor | isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S | |||
| Identificador | 8JMKD3MGP3W34R/3R8FB55 | |||
| Repositório | sid.inpe.br/mtc-m21c/2018/06.04.17.02 (acesso restrito) | |||
| Última Atualização | 2018:06.04.17.02.10 (UTC) simone | |||
| Repositório de Metadados | sid.inpe.br/mtc-m21c/2018/06.04.17.02.10 | |||
| Última Atualização dos Metadados | 2021:02.11.21.04.48 (UTC) administrator | |||
| DOI | 10.2514/1.I010525 | |||
| ISSN | 2327-3097 | |||
| Chave de Citação | GreghiMarCarAmbVil:2018:AdDr | |||
| Título | From natural language standard documents to state machines: advantages and drawbacks  | |||
| Ano | 2018 | |||
| Mês | May | |||
| Data de Acesso | 07 maio 2024 | |||
| Tipo de Trabalho | journal article | |||
| Tipo Secundário | PRE PI | |||
| Número de Arquivos | 1 | |||
| Tamanho | 650 KiB | |||
| 2. Contextualização | ||||
| Autor | 1 Greghi, Juliana Galvani 2 Martins, Eliane 3 Carvalho, Ariadne M. B. R. 4 Ambrosio, Ana Maria 5 Villani, Emília | |||
| Identificador de Curriculo | 1 2 3 4 8JMKD3MGP5W/3C9JGH7 | |||
| Grupo | 1 2 3 4 DIDSS-CGETE-INPE-MCTIC-GOV-BR | |||
| Afiliação | 1 Universidade Federal de Lavras (UFLA) 2 Universidade Estadual de Campinas (UNICAMP) 3 Universidade Estadual de Campinas (UNICAMP) 4 Instituto Nacional de Pesquisas Espaciais (INPE) 5 Instituto Tecnológico de Aeronáutica (ITA) | |||
| Endereço de e-Mail do Autor | 1 2 3 4 ana@dss.inpe.br | |||
| Revista | Journal of Aerospace Information Systems | |||
| Volume | 15 | |||
| Número | 5 | |||
| Páginas | 271-281 | |||
| Histórico (UTC) | 2018-06-04 17:02:48 :: simone -> administrator :: 2018 2019-01-14 17:06:29 :: administrator -> simone :: 2018 2019-07-17 17:30:16 :: simone -> administrator :: 2018 2021-02-11 21:04:48 :: administrator -> simone :: 2018 | |||
| 3. Conteúdo e estrutura | ||||
| É a matriz ou uma cópia? | é a matriz | |||
| Estágio do Conteúdo | concluido | |||
| Transferível | 1 | |||
| Tipo do Conteúdo | External Contribution | |||
| Tipo de Versão | publisher | |||
| Resumo | Problems in requirements documents are among the root cause of a number of accidents in space missions. A common approach toward the minimization of these problems is to transform the requirements into models that represent the system's behavior. However, this solution requires dealing with issues such as choosing the best modeling formalism, defining to what extent the transformation process should be automated, and assuring the quality of the requirements documents to be used as input. In space missions, requirements are frequently tailored from standard documents, such as the Packet Utilization Standard, which are composed of mandatory and optional requirements. This paper presents a semi-automatic method to transform standard requirements documents into extended finite state machines. To evaluate it, we apply the method to a set of requirements from the Packet Utilization Standard. We evaluate the method using some Packet Utilization Standard services. In light of the results, the paper discusses advantages and potential problems of each approach. | |||
| Área | ETES | |||
| Arranjo | urlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSS > From natural language... | |||
| Conteúdo da Pasta doc | acessar | |||
| Conteúdo da Pasta source | não têm arquivos | |||
| Conteúdo da Pasta agreement |
| |||
| 4. Condições de acesso e uso | ||||
| Idioma | en | |||
| Arquivo Alvo | greghi_from.pdf | |||
| Grupo de Usuários | simone | |||
| Grupo de Leitores | administrator simone | |||
| Visibilidade | shown | |||
| Permissão de Leitura | deny from all and allow from 150.163 | |||
| Permissão de Atualização | não transferida | |||
| 5. Fontes relacionadas | ||||
| Unidades Imediatamente Superiores | 8JMKD3MGPCW/446B2HE | |||
| Lista de Itens Citando | sid.inpe.br/bibdigital/2021/02.11.21.02 2 sid.inpe.br/mtc-m21/2012/07.13.14.39.50 1 | |||
| Divulgação | WEBSCI; SCOPUS. | |||
| Acervo Hospedeiro | urlib.net/www/2017/11.22.19.04 | |||
| 6. Notas | ||||
| Campos Vazios | alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn keywords label lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url | |||
| 7. Controle da descrição | ||||
| e-Mail (login) | simone | |||
| atualizar | ||||